أداة الاستدلال المنطقي لحساب التفاضل والتكامل بالانجليزي

• calculus ratiocinator

• أداة    n. instrument, too ...
• الاستدلال    heuristics
• المنطقي    logician
• التفاضل    n. differential, d ...

أمثلة

1. Hence the characteristic, calculus ratiocinator, and encyclopedia form three pillars of Leibniz's project.
   وبالتالي فإن الخاصية وأداة الاستدلال المنطقي لحساب التفاضل والتكامل, والموسوعة تشكل ثلاث ركائز لمشروع لايبنتز.
2. Hence the characteristic, calculus ratiocinator, and encyclopedia form three pillars of Leibniz's project.
   وبالتالي فإن الخاصية وأداة الاستدلال المنطقي لحساب التفاضل والتكامل, والموسوعة تشكل ثلاث ركائز لمشروع لايبنتز.
3. Stepped Reckoner Hartley Rogers saw a link between the two, defining the calculus ratiocinator as "an algorithm which, when applied to the symbols of any formula of the characteristica universalis, would determine whether or not that formula were true as a statement of science" (Hartley Rogers, Jr. 1963; pp. 934).
   الحاسب السريع اكتشف هارتلي روجرز رابطًا بين تعريف أداة الاستدلال المنطقي لحساب التفاضل والتكامل على أنها "خوارزمية عند تطبيقها على رموز أي صيغة من الخصائص العامة ستحدد ما إذا كانت هذه الصيغة صحيحة كبيان علمي أم لا" (هارتلي روجرز, 1963، ص 934).